#define  _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
//15
int main()
{
	int A = 0, B = 0, C = 0;
	scanf("%d%d%d", &A, &B, &C);
	printf("%d", A * 20 / 100 + B * 30 / 100 + C * 50 / 100);
	return 0;
}